On the dualization in distributive lattices and related problems
نویسندگان
چکیده
In this paper, we study the dualization in distributive lattices, a generalization of well-known hypergraph problem. We particular propose equivalent formulations problem terms graphs, hypergraphs, and posets. It is known that amounts to generate all minimal transversals hypergraph, or dominating sets graph. new framework, poset on vertices given together with input (hyper)graph, “ideal solutions” are be generated. This allows us complexity under various combined restrictions graph classes types, including bipartite, split, co-bipartite variants neighborhood inclusion For example, show while enumeration possible linear delay split problem, within same class, gets as hard for general graphs when generalized framework. More surprisingly, result holds even only comparing included neighborhoods If both class sufficiently restricted, tractable relying existing algorithms from literature.
منابع مشابه
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices
In this paper we analyze some fragments of the universal theory of distributive lattices with many sorted bridging operators. Our interest in such algebras is motivated by the fact that, in description logics, numerical features are often expressed by using maps that associate numerical values to sets (more generally, to lattice elements). We first establish a link between satisfiability of uni...
متن کاملEvolution on distributive lattices.
We consider the directed evolution of a population after an intervention that has significantly altered the underlying fitness landscape. We model the space of genotypes as a distributive lattice; the fitness landscape is a real-valued function on that lattice. The risk of escape from intervention, i.e., the probability that the population develops an escape mutant before extinction, is encoded...
متن کاملBelief Functions on Distributive Lattices
The Dempster-Shafer theory of belief functions is an important approach to deal with uncertainty in AI. In the theory, belief functions are defined on Boolean algebras of events. In many applications of belief functions in real world problems, however, the objects that we manipulate is no more a Boolean algebra but a distributive lattice. In this paper, we extend the Dempster-Shafer theory to t...
متن کاملDistributive Lattices and Cohomology
A resolution of the intersection of a finite number of subgroups of an abelian group by means of their sums is constructed, provided the lattice generated by these subgroups is distributive. This is used for detecting singularities of modules over Dedekind rings. A generalized Chinese remainder theorem is derived as a consequence of the above resolution. The GelfandNaimark duality between finit...
متن کاملThe Core of Games on Distributive Lattices
Cooperative games under precedence constraints have been introduced by Faigle and Kern [1] , [4] as a generalization of classical cooperative games. An important notion in cooperative game theory is the core of the game, as it contains the rational imputations for players. We propose two definitions for the core of a distributive game, the first one is called the precore and is a direct general...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 2021
ISSN: ['1872-6771', '0166-218X']
DOI: https://doi.org/10.1016/j.dam.2021.04.018